Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Distribution
• Functional analysis
• Substitution
• Denotational semantics
• Markov chain

An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Data types
• Cross-platform software
• Object-oriented programming languages
• Programming languages
• Scripting languages
• PHP
• Array data type
• Foreach loop
• Iterator

The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computer programming
• Computing
• Functional programming
• Logic in computer science
• Functional languages
• Formal methods
• Type theory
• Monad
• F*
• Predicate transformer semantics
• Haskell

KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C

Source URL: sist.shanghaitech.edu.cn

An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact

Source URL: wwwhomes.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Data types
• Cross-platform software
• Object-oriented programming languages
• Programming languages
• Scripting languages
• PHP
• Array data type
• Foreach loop
• Iterator

KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018

Source URL: arxiv.org

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Procedural programming languages
• High-level programming languages
• Object-oriented programming
• Immutable object
• This
• Rust
• Const

M ODULARITY AND INTUITIONS IN FORMAL SEMANTICS : THE CASE OF POLARITY ITEMS ∗ Emmanuel Chemla, Vincent Homer, Daniel Rothschild October 25, 2011 Abstract

Source URL: danielrothschild.com

• Formal semantics based on timed traces. – can-invoke: explicit transitions – must-invoke: implicit transitions

Source URL: julien.ponge.org

Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

Source URL: homes.cs.washington.edu

Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning On the Functional Completeness of Argumentation Semantics� Massimiliano Giacomin1 , Thomas Linsbichler2 , and Stefan Woltran2 1

Source URL: ceur-ws.org